string(%d) "%s"
